被覆 (順序)
半順序集合
$ (X,\le)
に対して定義される二項関係
$ x\lessdot y:\iff x<y\land\lnot\exist c\in X:x<c<y
$ <
：
狭義半順序
$ x,y
の間に他の元がないことを示す
$ x\lessdot y
のとき、
$ y
は
$ x
の
後続元
と呼ばれる
References
https://ja.wikipedia.org/wiki/順序集合#定義
https://en.wikipedia.org/wiki/Covering_relation
#2026-02-26
18:02:30
#2025-07-21
16:38:24